26

The role of model checking in software engineering

Year:
2018
Language:
english
File:
PDF, 1.07 MB
english, 2018
43

ASSAT: computing answer sets of a logic program by SAT solvers

Year:
2004
Language:
english
File:
PDF, 275 KB
english, 2004
48

Ontology-Driven Software Development ||

Year:
2013
Language:
english
File:
PDF, 9.35 MB
english, 2013